- coq模型
- model: n. 1.模型，雛型；原型；設(shè)計(jì)圖；模范；(畫(huà)家、雕刻家 ...
- definition: n. 1.限定。 2.定義，界說(shuō)。 3.明確。 4.(透 ...
- coq: 的有關(guān)問(wèn)題; 輔酶q; 監(jiān)督員; 經(jīng)濟(jì)訂貨批量的計(jì)算; 科克; 來(lái)推動(dòng)質(zhì)量的改進(jìn)
- semantic model definition language: 語(yǔ)義模型定義語(yǔ)言
- coq framework: coq框架
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯